November, 2006 Does Good Practice in Coffee Sourcing Alleviate Poverty? Companies all over the world are talking about doing “good”. This year, 850 organizations published formal reports on their

Source URL: sustainablefood.org

• Environmental economics
• Social responsibility
• Sustainability
• Rainforest Alliance
• Coffee
• Sustainable development
• Corporate social responsibility
• Global Reporting Initiative
• Green Mountain Coffee Roasters
• Environment
• Business ethics
• Environmental social science

Microsoft PowerPoint - day 1 number 6 - John H.pptx

Source URL: edcon2014.ischool.syr.edu

• Data management
• Business intelligence
• Analytics
• Mathematical finance
• Big data
• Data analysis
• Visual analytics
• Science
• Technology
• Formal sciences

The International Workshop on Big Data Management on Emerging Hardware (HardBDhttp://idke.ruc.edu.cn/HardBD2013, in Conjunction with WAIM 2013, Beidaihe, China, 14-16 June, 2013 IMPORTANT DATES

Source URL: idke.ruc.edu.cn

• Database management systems
• Database theory
• Emerging technologies
• Parallel computing
• Formal sciences
• Database
• Data center
• Big data
• Computer data storage
• Concurrent computing
• Computing
• Information science

Path Logics for Querying Graphs: Combining Expressiveness and Efficiency Diego Figueira Leonid Libkin

Source URL: homepages.inf.ed.ac.uk

• Mathematics
• Applied mathematics
• FO
• Computational complexity theory
• Regular language
• Valuation
• Automata theory
• Formal languages
• Theoretical computer science

Security Applications of Formal Language Theory Dartmouth Computer Science Technical Report TR2011-709 Len Sassaman, Meredith L. Patterson, Sergey Bratus, Michael E. Locasto, Anna Shubina

Source URL: langsec.org

• Mathematics
• Deterministic pushdown automaton
• Parsing
• Computability
• Context-free grammar
• Context-free language
• Formal grammar
• Finite-state machine
• Recursive language
• Formal languages
• Theoretical computer science
• Theory of computation

Automata and Logics for Concurrent Systems: Realizability and Verification Habilitation Thesis Mémoire d’Habilitation à Diriger des Recherches submitted by

Source URL: www.lsv.ens-cachan.fr

• Computer science
• Finite-state machine
• Model checking
• Formal verification
• Nested word
• Formal methods
• Automata-based programming
• Automata theory
• Theoretical computer science
• Applied mathematics

PRESCRIPTIONS COMPUTING PRESCRIPTIONS Editors: Isabel Beichl, Julian V. Noble,

Source URL: samarcanda.phys.uniroma1.it

• Information
• Science
• Entropy
• Information theory
• Randomness
• Philosophy of thermal and statistical physics
• Kullback–Leibler divergence
• LZ77 and LZ78
• Data compression
• Statistical theory
• Statistics
• Formal sciences

Poster: Security in E-Voting Daniel Bruns† , Huy Quoc Do‡ , Simon Greiner† , Mihai Herda† , Martin Mohr† , Enrico Scapin∗ , Tomasz Truderung∗ , Bernhard Beckert† , Ralf Küsters∗ , Heiko Mantel‡ and R

Source URL: www.ieee-security.org

• Java platform
• Formal methods
• Logic in computer science
• Formal verification
• Cryptographic primitive
• KeY
• Cryptography
• Java Card
• Cryptographic protocol
• Computing
• Theoretical computer science
• Formal sciences

Microsoft PowerPoint - EdCon panel - training for employable graduates - Plachy 26 October 2014.pptx [Read-Only]

Source URL: edcon2014.ischool.syr.edu

• Data analysis
• Formal sciences
• Natural language processing
• Statistical natural language processing
• Business analytics
• ADAPA
• Analytics
• Text mining
• Data mining
• Science
• Statistics
• Business intelligence

BRICS Basic Research in Computer Science BRICS RSHavelund et al.: Formal Modeling and Analysis of an Audio/Video Protocol Formal Modeling and Analysis of

Source URL: www.brics.dk